déduire — [ dedɥir ] v. tr. <conjug. : 38> • fin XIe; lat. deducere « faire descendre » I ♦ Retrancher (une certaine somme) d un total à payer. ⇒ décompter, défalquer, retenir, soustraire. Déduire d un compte les sommes déjà versées. Déduire ses… … Encyclopédie Universelle
déduire — DÉDUIRE. v. actif. Rabattre, faire soustraction. Il en faut déduire ce que vous avez dépensé, reçu. Il en faut déduire les frais. f♛/b] Il signifie aussi, Narrer, raconter au long et par le menu. Déduire son fait, ses raisons. [b]f♛/b] Il… … Dictionnaire de l'Académie Française 1798
deduire — DEDUIRE. v. a. Rabbattre, faire soustraction. Il en faut deduire ce que vous avez despensé. il en faut deduire les frais. Il signifie aussi, Narrer, raconter au long & par le menu. Deduire son fait, ses raisons … Dictionnaire de l'Académie française
déduire — (dé dui r ), je déduis, nous déduisons ; je déduisais ; je déduisis ; je déduirai ; je déduirais ; que je déduisisse ; déduisant ; déduit, v. a. 1° Soustraire, retrancher une somme d une autre. Il y a plus de moitié à déduire sur ce compte.… … Dictionnaire de la Langue Française d'Émile Littré
DÉDUIRE — v. a. Rabattre, soustraire une somme d une autre. Il en faut déduire ce que vous avez dépensé, reçu. Il en faut déduire les frais. Il y a tant à déduire sur cette somme. DÉDUIRE, signifie aussi, Narrer, raconter, exposer en détail. Déduire son… … Dictionnaire de l'Academie Francaise, 7eme edition (1835)
DÉDUIRE — v. tr. Soustraire d’une somme à payer telle ou telle fraction qui n’est pas à verser. Chaque contribuable, dans sa déclaration d’impôt sur le revenu, déduit du total de ses revenus certaines charges, certains frais d’exploitation. Il en faut… … Dictionnaire de l'Academie Francaise, 8eme edition (1935)
deduire — I. Deduire, et rabatre d une somme, Deducere. Deduire sur le principal, In sortem acceptum ferre, vel accepto ferre Bud. Deduire un affaire tout au long, et le declarer amplement, Pertractare rem. B. Bien deduire ou declarer les moyens d une… … Thresor de la langue françoyse
déduire — vt. déduire (Albanais, Villards Thônes) … Dictionnaire Français-Savoyard
Déduire — Déduction Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom … Wikipédia en Français
Style de Fitch pour la deduction naturelle — Style de Fitch pour la déduction naturelle Le logicien Fitch a proposé une variante de la déduction naturelle où les démonstrations sont présentées de façon linéaire, renonçant à la structure arborescente proposée par Gentzen. Sommaire 1… … Wikipédia en Français
